From ac955d7f113655c533fcdf4c148f84f79615684e Mon Sep 17 00:00:00 2001
From: Keir Fraser <keir.fraser@citrix.com>
Date: Wed, 9 Jul 2008 13:01:16 +0100
Subject: [PATCH] stubdom: fix missing evtchn.h header

We actually do not need any since we include MiniOS' headers.

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
---
 tools/libxc/xc_minios.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/tools/libxc/xc_minios.c b/tools/libxc/xc_minios.c
index aceb387afb..c57b7a5b7d 100644
--- a/tools/libxc/xc_minios.c
+++ b/tools/libxc/xc_minios.c
@@ -21,7 +21,6 @@
 #include <errno.h>
 
 #include <xen/memory.h>
-#include <xen/sys/evtchn.h>
 #include <unistd.h>
 #include <fcntl.h>
 #include <stdio.h>
-- 
2.30.2